P(?a) UNTIL[10,20] Q(?a,?b)
